Behavioural Types in CoOperative Objects
نویسندگان
چکیده
Behavioural typing and subtyping has proved to be a very useful concept for the support of incremental reuse in the area of object-oriented (O-O) languages. With the emergence of formalisms integrating the O-O approach and Petri nets, the question arises how behavioural subtyping may be supported by such formalisms. We present a formal framework for the definition of behavioural typing in CoOperative Objects, a concurrent Object Oriented language, based upon Client/Server Petri nets. This framework is based upon the preorder and equivalence relations which are considered in the study of concurrent systems, allowing to define various subtyping relations.
منابع مشابه
Analysis of synchronisation patterns in stateful active objects
This paper presents a static analysis technique based on effect and behavioural types for deriving synchronisation patterns of stateful active objects and verifying their safety – e.g. absence of deadlocks. This is challenging because active objects use futures to refer to results of pending asynchronous invocations and because these futures can be stored in object fields, passed as method para...
متن کاملWhy do adult dogs 'play'?
Among the Carnivora, play behaviour is usually made up of motor patterns characteristic of predatory, agonistic and courtship behaviour. Domestic dogs are unusual in that play is routinely performed by adults, both socially, with conspecifics and with humans, and also asocially, with objects. This enhanced playfulness is commonly thought to be a side effect of paedomorphosis, the perpetuation o...
متن کاملBehavioural Subtyping for a Type-theoretic Model of Objects
We present a reenement of the existential object model of Pierce and Turner PT94]. In addition to signatures (or interfaces) as the types of objects, we also provide classes as the types of objects. These class types not only specify an interface, but also a particular implementation. We show that class types can be interpreted in the standard PER model. Our main result is that the standard int...
متن کاملFormal Support for the Engineering of CORBA-based Distributed Object Systems
We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilit...
متن کاملPetri Net Based Behavioural Specification of CORBA Systems
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behaviour of objects in an abstract a...
متن کامل